Впрочем, поскольку речь идет о древнегреческой логике, труды Аристотеля и Хрисиппа не исчерпывают тематики логических исследований той эпохи. В частности, стоит упомянуть обнаруженные античными логиками парадоксы, прежде всего парадокс лжеца, открытие которого традиция приписывает другому представителю мегарской школы – Евбулиду: каким будет предложение «Я сейчас лгу» – истинным или ложным? Из допущения, что оно истинно, следует, что оно ложно, а из допущения, что оно ложно, следует, что оно истинно. Исследование причин возникновения подобного парадокса привлекало внимание многих ученых, особенно на поздних этапах развития древнегреческой науки.
II. Средневековая Европа (конец XI–XV в.).
В эту эпоху другие стимулы способствовали развитию логических исследований. Высшим знанием было познание Бога, а главным источником знания – Священное Писание. Богословские рассуждения способствовали вычленению первичных логических процедур, потому что в этой сфере мысль не отягощена эмпирическим содержанием и ее убедительность целиком определяется очевидностью собственно логических схем рассуждения. Кроме того, требовалось всякое знание обосновывать ссылками на Священное Писание. Тонкости довольно сложного христианского богословия и обширность священных текстов создавали обильный материал для глубоких и оригинальных логических исследований. Среди логиков этого периода могут быть упомянуты следующие: Пьер Абеляр (1079–1142), Петр Испанский (1210–1277), Дунс Скотт (1270–1308), Уильям Оккам (1300–1349), Раймунд Луллий (1235–1315), Жан Буридан (1300–1358), Альберт Саксонский (1316–1390).
Петр Испанский завершил свою карьеру в должности Папы Римского под именем Иоанна XXI. Поэтому его трактат «Summulae Logicales» стал основным учебником, по которому изучали логику в университетах средневековой Европы. Этот трактат открывался словами: «Logica est ars artium et scientia scientarum» – «Логика есть искусство искусств и наука наук». Действительно, в ту эпоху логика являлась главным орудием, методом познания. В средневековом университете обучение начиналось на факультете Artes Liberales (свободных искусств), среди которых одно из ключевых мест занимала логика. Лишь успешно освоив изучавшиеся на этом факультете дисциплины тривиума, включавшего логику, риторику и грамматику, студент мог переходить на специализированные факультеты. Логика определялась как исследование de sermo falso et vero, т. е. исследование речи с точки зрения истины и лжи.
В трудах Дунса Скотта (1270–1308) наивысшего развития достигло развитие теории логического следования. В частности, ему принадлежит формулировка закона ex falso quodlibet sequitur. Раймунд Луллий (1235–1315) создал первую в истории человечества логическую машину, которая механическим образом порождала допустимые следствия из заданных посылок. Машина функционировала на основе созданной Луллием особого рода комбинаторной логики.
Впоследствии