Разумеется, средневековых ученых вдохновлял логический гений Аристотеля, но они писали и оригинальные тексты по логике. Кто был автором самого знаменитого логического трактата? Петр Испанский (будущий папа Иоанн XXI), в 30-е годы XIII века. Его трактат Summule logicales стал главным учебником по этой дисциплине и к XVII веку выдержал 166 изданий.
Если бы в Средние века все вопросы действительно решались обращением к авторитету, то эта страсть к изучению формальной логики не имела бы никакого смысла. Приверженность логике свидетельствует о том, что Средние века были цивилизацией, основанной на стремлении к пониманию и убеждению. Именно поэтому образованные люди стремились научить студентов распознавать логические ошибки и производить логически безупречные умозаключения.
Это была эпоха схоластики. Дать такое определение схоластики, чтобы оно покрывало всех, кого называли схоластами, очень трудно. Схоластикой называли научную работу, которая велась в школах – т. е. в университетах – Европы. Однако этот термин менее удачно использовался для описания содержания трудов интеллектуалов, которых называют схоластами, а не для того, чтобы указать на их метод. В общем и целом схоластов объединяло их отношение к разуму, который они считали необходимым инструментом теологического и философского исследования, и их приверженность к диалектике (то есть к соположению противоположных позиций, за которым следует разрешение вопроса с опорой одновременно на разум и на авторитет), которую они использовали как основной метод анализа интеллектуальных проблем. По мере развития схоластической традиции сложился определенный формат схоластического трактата: формулировка вопроса, изложение аргументов «за» и против», изложение мнения автора и ответ на возможные возражения.
По-видимому, первым схоластом был св. Ансельм (1033–1109), аббат монастыря в Беке, а позднее – архиепископ Кентерберийский. В отличие от большинства схоластов, он не занимал университетских должностей, однако он отличался характерным для схоластов интересом к использованию рационального подхода при рассмотрении философских и теологических вопросов. Например, в трактате Cur Deus Homo («Почему Бог стал человеком?») Ансельм рассматривает вопрос о том, какие рациональные основания были у Бога для того, чтобы вочеловечиться.
В философских кругах св. Ансельм больше всего известен своим рациональным доказательством бытия Божия. Так называемый онтологический аргумент Ансельма вызвал интерес даже у тех, кто был с ним решительно не согласен, дал им пищу для размышлений. Согласно Ансельму, само определение Бога логически подразумевает факт Его существования. Подобно тому, как полное знание и понимание самой идеи числа 9 подразумевает знание того, что квадратный корень из 9 равен 3, так же и познание идеи Бога подразумевает, что такое Существо должно обладать бытием.
