Парменид (род. В 515 г. до н. э.) обнаружил, что видимая подвижность мира противоречит мышлению: чтобы двигаться нужна пустота, а пустота – это ничто, а ничто не бывает. Следовательно движения нет, а видимое движение – обман чувств.

Философы не могли отдать предпочтение чувствам, иначе они бы стали художниками, поэтами, но не «любителями мудрости». Чтобы примирить мышление и чувства, надо было: либо доказать, что можно двигаться и без пустоты, либо доказать, что пустота существует. Ни того ни другого прежние аксиомы не допускали: без пустоты двигаться негде, а пустота не существует, потому что это ничто, а ничто не бывает. Нужны были новые аксиомы. И они были предложены, но другими философами.

Анаксагор (500—428 до н. э.) увидел возможность двигаться без пустоты, при условии одновременного движения всех частиц мира – гомеомерий. И это не противоречило фактам: рука в мешке с зерном и рыба в воде двигаются, хотя пустоты там нет. Правда, для объяснения движения Анаксагор был вынужден обратиться к внешней силе, заставляющей частицы двигаться. Это Нус – мировой ум, который и приводит в движение все частицы, поэтому одни вещи исчезают, другие появляются. Он предположил, что гомеомерии делимы до бесконечности, и в них есть всё, как в семени человека содержатся все его части. В каждой вещи есть всё, но чего-то больше; чего больше, тем вещь и является.

Демокрит (460—370 до н. э.) выбрал другой путь доказательства существования движения. Он доказывал, что пустота существует: она есть небытие, а без небытия бытие не может существовать. [Так утверждая, что это стол, мы тем самым говорим, что рядом стола нет. Бытие стола требует его небытия рядом с ним.] Бытие мы не видим из-за малости размеров неделимых частиц – атомов, из которых состоит всё, а небытие – это пустота, в которой двигаются атомы. [Не надо считать, что Демокрит открыл атомы. Неделимая частица – это только его аксиома, с помощью которой он нашёл логически непротиворечивое доказательство возможности существования движения.] А затем Демокрит использует свою аксиому об атомах для логически непротиворечивого объяснения движения, появления и исчезновения вещей и их многообразия.

Можно убедиться в том, что и дальше история философии – это решение противоречий путём выдвижения аксиом, из которых философы делают выводы по правилам формальной логики.

В некоторых случаях поиск нужных аксиом длился десятилетиями и даже столетиями. Например, Тертулиан (160 – 220) сформулировал проблему зла. Получалось, что Бог или не всемилостивейший, – раз создал зло, или не всемогущий, – раз не уничтожил его. Это противоречие решил Августин(354 – 430). Он предложил аксиому, что Бог зла не создавал, и зла нигде и никогда не было, а то, что мы называем злом, – это отсутствие должного быть добра, которое не сделал человек, потому что он не всемогущий. То есть Августин снял с Бога обвинение в существовании зла. За эту услугу церковь причислила Августина к лику святых.

Как видим, философы, создавая новые картины мира, не нарушали законов и правил формальной логики. Они только применяли другие аксиомы, которые помогали им выйти из противоречия, в котором оказались.

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