Признавая в науке лишь линейное накопление истин или ортогенез разума и не признавая в ней дискурсивную практику, имеющую свои уровни, пороги, различные разрывы, можно описать только единственный исторический раздел, модель которого возобновляется на протяжении всего времени и для любой формы знания: раздел между тем, что еще не является научным, и тем, что можно назвать таковым со всей определенностью. Вся масса нарушений, рассеивание разрывов, разделение их последствий и взаимодействие зависимости друг от друга сводятся к монотонному акту основания, который необходимо постоянно повторять.

Возможно, существует только одна наука, для которой нельзя определить различные пороги и описать подобную совокупность сдвигов. Математика — это единственная дискурсивная практика, преодолевшая одновременно порог позитивности, порог эпистемологизации, порог научности и формализации. Сама возможность ее существования изначально предусматривает то, что во всех науках остается рассеянным на протяжении всей истории: первая позитивность должна была образовать уже формализованную дискурсивную практику (даже если бы другие формализации должны были впоследствие быть использованы). Отсюда следует, что их установление будет одновременно и чрезвычайно загадочным (в высшей степени малоприемлемым для анализа и ограниченным формой абсолютного начала) и чрезвычайно ценным (поскольку оно ценно одновременно и как источник, и как основание). Отсюда следует также и то, что в первом же жесте первого математика мы увидели образование идеальности, которая разворачивалась на протяжении истории и ставилась под сомнение лишь затем, чтобы быть повторенной и очищенной; отсюда следует и то, что начало математики исследовалось, скорее, как принцип историчности, нежели как историческое событие. Наконец, отсюда следует, что для любой другой науки описание исторического развития, проб и ошибок, запоздалых успехов связывают с метаисторической моделью геометрии, появляющейся внезапно раз и навсегда из тривиальных практик размежевания. Однако рассматривая установление математического дискурса как прототип рождения и становления любой другой науки, мы рискуем привить однородность любой частной форме историчности, свести к инстанции единственного разрыва любой порог, который может преодолевать дискурсивная практика и до бесконечности в любой момент времени воспроизводить проблему первоначала: таким образом могли бы быть восстановлены права историко-трансцендентадьного анализа. Математика служила моделью для большинства научных дискурсов с их стремлением к формальной строгости и доказательности, но для историка, изучающего действительное развитие наук, она будет неудачным примером, — во всяком случае, примером, который нельзя обобщить.

(е) Различные типы истории наук

Многочисленные пороги, которые мы могли бы установить, пропускают различные формы исторического анализа. В первую очередь это анализ уровня формализации: это например, та история, которую не перестает рассказывать о самой себе математика в процессе собственного развития. Она сообщает о том, чем располагает в данный момент (о своей области, методах, объектах, которые определяют математику, о языке, который они используют). Все вышеперечисленное никогда не выносится во внешнее поле не-научности, а, напротив, находится в постоянном обновлении (если только не оказывается в области забытого и временно непродуктивного), в той формальной системе, которую она конституирует; это прошлое раскрывается как особый случай, как наивная модель, как частично и недостаточно обобщенный замысел или как наиболее абстрактная теория, более могущественная и находящаяся на более высоком уровне: свои действительные исторические перспективы математики вновь переводят в словарь смежностей, независимостей, подчинений, в словарь прогрессивных формализаций и развивающихся обобщений. Для такой истории математики (истории, которую они конституируют и которую рассказывают о самих себе) алгебра Диофанта не является забытым на переферии науки опытом; это и есть тот особый случай алгебры, который известен, начиная с Абеля и Галуа; греческий же метод истощения не представляется тем тупиком, из которого должно выбраться любой ценой, а является просто-напросто наивной моделью интегрального счисления. Каждое историческое событие оказывается на своем уровне и имеет свою формальную локализацию. Это рекуррентный анализ, который может проводиться только внутри уже сложившейся науки, переступившей однажды порог своей формализации.

Другой тип исторического анализа располагается на пороге научности, вопрошает себя относительно того способа, при помощи которого он смог бы преодолеть основания различных эпистемологических фигур. Речь идет о том, чтобы узнать, например, каким образом концепт, перегруженный метафорами и воображаемым содержанием, очищается и становится способным принимать статус и функции научного концепта. Проблема в том, чтобы уяснить, каким образом та область опыта, отчасти уже установленная и частично артикулированная, но еще характеризующаяся непосредственным практическим использованием или действительными оценками, может обращаться в область науки. Нам необходимо узнать как наука в своих наиболее общих принципах устанавливалась поверх и против того донаучного уровня, который одновременно и подготавливал ее, и противодействовал ей в дальнейшем, — узнать как наука смогла преодолеть препятствия и ограничения, которые встречала на своем пути. Г. Башляр и Г. Гангилем дали модели такого рода истории.

Такая история не нуждается в том, чтобы как рекуррентный анализ располагаться внутри той же науки, таким образом, смещая любые эпизоды в ту систему, которую сама же и конституирует. Она не 'нуждается и в том, чтобы сообщить о своей формализации, — в том формальном вокабулярии, который является ее собственным. Действительно может ли история быть такой с тех пор, как она показала то, от чего наука освобождается и что она должна оставить за своими пределами, чтобы достигнуть порога научности? Таким образом, это описание пригодно именно для норм уже конституированной науки: история, которую она рассказывает необходимым образом проявляется в противопоставление истины и заблуждения, рационального и иррационального, препятствия и плодотворности, прозрачности и туманности, научность и ненаучности. Таким образом, речь идет об эпистемологической истории науки.

Третий тип исторического анализа, избрал своим главным направлением порог эпистемологизации как точку раскола между дискурсивными формациями, определенными в их позитивности, и эпистемологическими фигурами, которые не являются строго обязательными и, к тому же, в действительности никогда не станут окончательно оформившейся наукой. На этом уровне научность не выступает в качестве нормы, и единственное, что нам остается прояснить в нашей археологии истории — это дискурсивные практики в той степени, в какой они дают место знанию, и где это знание обретает статус и роль науки. Подойти к истории науки на таком уровне — вовсе не значит описать дискурсивную формацию, не принимая в расчет эпистемологические структуры. Скорее, наша задача состоит в том, чтобы показать, как установление науки и возможность ее движения к формализации находит свое обоснование в дискурсивной формации и в изменениях своей позитивности. Речь идет о том, чтобы подобный анализ прояснил контуры истории наук, исходя из практических дискурсивных описаний; определил, каким образом и в соответствии с какими закономерностями и изменениями она может обрести место в процессах эпистемологизации, достигая границ научности и, может быть, порога формализации в целом. Отыскивая в исторической густоте наук уровень дискурсивной практики, не стоит возвращать его к глубинному или первоначальному уровню, не стоит переносить его на почву жизненного опыта (ту землю, которая урывками и клочками раскрывается до всех геометрий, в то небо, которое просвечивает сквозь таблицы всех астрономии). Мы хотим раскрыть среди позитивности знаний, эпистемологических и научных фигур всю игру различий, связей, отталкиваний, смещений, независимостей, автономий и, вместе с тем, тот способ, который последовательно артикулирует их собственную историчность.