公元4—8世纪督教会的神学家们（教父们）的逻辑学。包括北非希波主教奥古斯丁、塞维亚主教衣西鲁斯、僧侣达玛斯堪等人的逻辑理论。企图给基督教信仰的理论以逻辑上的理论基础。
教父逻辑
公元4世纪教父们（罗马帝国后期及中世纪前期的神学家们被教会尊称为教父）开始攻击逻辑学，视其为异端，毫不足取。后来，有些教父开始对逻辑学发生兴趣，他们纷纷撰写逻辑著作，把古代逻辑作为论证基督教教义的工具。他们又把逻辑视为给出定义、分辨、论证事物的科学。代表人物有北非希波主教奥古斯丁罗马帝国后期及中世纪前期的神学家们被教会尊称为教父开始攻击逻辑学，视其为异端，毫不足取。后来，有些教父开始对逻辑学发生兴趣，他们纷纷撰写逻辑著作，把古代逻辑作为论证基督教教义的工具。他们又把逻辑视为给出定义、分辨、论证事物的科学。代表人物有北非希波主教奥古斯丁(Augustine 354—430)、塞维亚主教伊西鲁斯(Isidorus of Seville约570—636)、阿鲁昆(Alcuin 735—804)。其中，伊西鲁斯在他写的《词源学》的第二十四卷中论及范畴和三段论推理问题。