逻辑在欧洲的复兴

圣安瑟伦而且彼得。阿伯拉尔

除了在阿拉伯世界，从波伊提乌时代到12世纪，逻辑学几乎没有什么活动。当然，拜占庭没有什么值得注意的东西。在拉丁欧洲有一些作家，包括阿尔昆约克(c。730 - 804年)给计算机专家加花环(繁荣c。1040)。但直到11世纪后期，人们才重新对逻辑产生了浓厚的兴趣。坎特伯雷的圣安瑟姆(1033-1109)讨论了他的语义问题De grammatico并研究了幸存碎片中的可能性和必要性的概念，但这些文本并没有太大的影响。更重要的是安塞尔姆在神学中使用逻辑技术的一般方法。他的榜样为后来的许多事情奠定了基调。

波伊提乌之后第一位重要的拉丁逻辑学家是彼得·阿伯拉尔(1079-1142)。他写了三套关于波菲里的评论和注解绪论亚里士多德的类别而且De interpretatione；这些是介绍parvulorum(也包括对波伊提乌的一些著作的注释)，Logica“Ingredientibus”,而且逻辑“Nostrorum petitioni sociorum”(在绪论只有)，和独立的人一起论文Dialectica(部分存在)。这些作品显示了对波伊提乌的熟悉，但远远超出了他。Abelard深入讨论的主题包括:关联词在直言命题中的作用、否定符号在直言命题中不同位置的影响、情态概念如“可能性”、“未来”部队(例如，在亚里士多德的第九章中De interpretatione)，以及条件命题或“结果”。

阿伯拉尔丰富的研究提出了逻辑研究中世纪的欧洲更上一层楼。他的成就更加引人注目，因为他所掌握的资料与此前600年欧洲人所能获得的资料相同:亚里士多德的资料类别而且De interpretatione和斑岩绪论，并附有评论和独立论文波伊提乌。

的属性条款以及关于谬论

然而，即使在阿伯拉德的有生之年，情况也在发生变化。大约1120年之后，波伊提乌翻译了亚里士多德的著作分析之前,主题,诡辩的驳斥开始流通。在12世纪后半叶的某个时候，威尼斯的詹姆斯翻译了后分析源自希腊语，从而构成了the的全部推理法有拉丁文。这些新近获得的亚里士多德著作被统称为Logica新星(“新逻辑”)。在一系列的活动中，12世纪和13世纪的其他人对这些作品进行了额外的翻译，并对它们进行了希腊和阿拉伯语的注释，以及许多其他哲学著作和其他来自希腊和阿拉伯语的作品。

的诡辩的驳斥证明了一个重要的催化剂在中世纪逻辑的发展中。这是一个关于谬误的小目录，如何避免它们，以及如何诱骗别人犯这些错误。这工作很粗略。许多类型的谬论没有被讨论，而那些被讨论的谬论本可以被区别对待。不像后分析,诡辩的驳斥比较容易理解。不像之前的分析-其中，除了modal用演绎推理的亚里士多德几乎没有留下什么可做的——显然，关于谬误还有很多有待研究的地方。此外，谬误的发现在神学中特别重要，特别是在三位一体和道成肉身的教义中。简而言之，诡辩的驳斥是为了发挥12世纪的逻辑智慧而量身定做的。事实就是这样。

的诡辩的驳斥的研究谬论它产生了一种全新的逻辑文学。一个类型的sophismata(“诡辩的”)研究神学、物理学和逻辑学中的谬误的论文。“假设”理论(见下文假设理论)也是由对谬误的研究发展而来的。全新的论文被写成了所谓的"术语的性质"语义性质在谬误研究中很重要。此外，一种新的逻辑写作体裁在“syncategoregoremata " -诸如" only "， " inasmuch as "， " besides "， " except "， " lest "等表达方式，与传统直言命题中的术语和逻辑粒子或继承自"假设"命题的更简单的一类命题相比，它们提出了完全不同的逻辑问题斯多葛学派．有效性研究推理生成了一篇关于“后果”的文献，比以前的任何研究都要详细得多。到12世纪末或13世纪初，专门的论文致力于insolubilia(语义悖论比如说谎者悖论，“这句话是假的”)和一种叫做“义务”，其确切目的仍有疑问。

所有这些论著，以及其中包含的逻辑，构成中世纪对逻辑学的独特贡献。正是在这些问题上，中世纪的逻辑学家发挥了他们最大的独创性。这样的论著，以及它们的逻辑，被称为Logica现代化(《现代逻辑学》)，或“终结主义”逻辑，因为他们非常强调“术语的属性”。这些发展始于12世纪中期，一直持续到中世纪末期。