波爱修斯是古代逻辑向中世纪逻辑发展过程中最重要的哲学家.他翻译和注释了亚里士多德的<工具论>;探讨了波菲利关于共相的三个问题;对假言命题和假言三段论进行了深入的研究,在斯多亚学派之后重新奠定了命题逻辑在整个逻辑学说中应有的地位.波爱修斯的逻辑理论是中世纪逻辑学进步的主要源泉.