О рациональных доказательствах
Несколько раз в просматриваемых разговорах выяснялись позиции: научное познание объявлялось рациональным, ему противопоставлялись нерациональные формы познания - вера, мифология и т.п. При этом позиции заострялись: рациональным познанием называлось познание по сути автоматическое - то есть совершенно прозрачное, разложимое, логическое - вплоть до "машинного", "программно-воспроизводимого" и т.п.

К этому были возражения - что в научном познании большую роль играют творчество, нерациональные компоненты, фантазия и т.п. На это тут же шло возражение: это на стадии создания гипотез, которые - по способу своего создания - не научны. Самое важное - доказательство, а оно насквозь рационально и иным быть не может. Так что фантазии и прочие нерациональные галлюцинации могут спокойно брать стадию создания гипотез, но вот сама наука, наука доказательная и доказанная - она вне столь строго понимаемого рационального.

Мне тоже кажется, что наука - это рациональная форма познания, однако те эпитеты, которыми награждают рациональность ее защитники, мне не нравятся. Мне кажется, в доказательстве о доказательстве - что оно-то уж точно насквозь логизированное, разложимое, прозрачное, механическое и т.п. - упускается важный момент. Доказательство действительно является таковым - когда оно уже сделано. Когда имеется хорошая научная работа с доказательством, уместными и хорошо подобранными экспериментами, ясной логикой движения мысли - то все так и выглядит. Но есть и другая сторона - авторская. Та самая, на которой ученый ведет это самое доказательство.

И вот при проведении доказательства оно не является ни стройным, ни самоочевидным, тривиальным, прозрачным, логичным и пр. Я говорю именно не о стадии создания гипотез, а о доказательстве. Оно бывает "совершенное" - чужое доказательство, рассматриваемое как внешний продукт, и совершаемое - как собственная деятельность. И на этой стадии логика уводит в тупики, эксперименты показывают невнятную чушь, ясные ходы мысли не ведут никуда. Лишь постепенно всё складывается и образуется готовый продукт (конечно, я говорю о почти идеальном состоянии, не об ошибках, которых всегда хватает) - когда на выходе получается

прозрачное и очевидное доказательство. Совершаемое доказательство - деятельность рациональная и творческая, в одно и то же время. И потому - рациональная и неразложимая, рациональная и не-механичная и т.п.

Конечно. всё упирается в определение рациональности. Собственно, отмеченные выше заострения позиции и связаны с таким определением - как только пробуют определить рациональность - ну что же делать, сразу вспоминают логику, или краткость и простоту-разложимость, или элементарную ясность. Что же тут сказать? Только верить на слово. Те, кто считают, что рациональность есть синоним строгой логичности, должны признать, что наука в существенных частях не рациональна. Кто полагает, что научное познание и являет собой пример (весьма обширный) рациональности - тем придется согласиться. что в рациональность входит очень

многое кроме логики и "продуманных экспериментов".