古代逻辑（完结）

在较低的等级，我们有足够证据表言的下一个排名逻辑是Galen（129-199或216 CE），他达成了较大的名望作为医生。 他与围岩和斯特罗德教师一起学习逻辑，推荐使用任何教义的部分，只要它可以用于科学示范。 他与亚里士多德，特罗斯图斯，eudemus和克莱斯皮斯的逻辑作品组成的评论，以及各种逻辑问题的论文，以及题为示范的主要工作。 所有这些都丢失了，除了在稍后的文本中有一些信息，但他对逻辑的介绍几乎完全归结为我们。 在演示中，盖勒在其他方面发育了一种复合分类三段论的理论，四个术语落入四个数字，但我们不知道细节。 他还介绍了所谓的关系三段，其例子是'a等于b，b等于c; 因此，A等于C'和'DIO拥有一半的独奏; 奥诺拥有一半就像菲洛一样。 因此，DIO拥有四分之一的腓利人（Galen Inst。Log，17-18）。 所有关系三段主义Galen提及都是共同的，因为它们在亚里士多德或斯托罗的三段论中没有还原，但很难找到联合它们的进一步正式特征。 一般来说，在他对逻辑Galen的介绍中，符合亚里士多州三段论，具有强烈的主题突出逻辑的幽灵再诠释。 特别是在Galen强调否认真实保存是争论的真实保存，以及他坚持认为，知识引入或知识 - 扩展是一个必要的条件，这是一个算法的必要条件。[5]

幸存下来的第二次古代逻辑介绍是Apuelius的（2月）De Progrestatione。 这种拉丁文文本也显示了符合符合和围岩逻辑的知识; 它包含第一个完整的反对派的呈现，它通过图表说明了分类句子之间的逻辑关系。 在他的柏拉图大学手册第5章的手册中，柏拉米尔代尔代尔（2岁）见证了专门的柏拉图主主义逻辑的出现，构建在媒体概念和划分，定义，分析和假设的程序上，但很少会使逻辑师的心跳得更快。 在第三世纪和6世纪之间的一段时间内，CE支持遗忘遗忘，只在20世纪才能复活，在（重新） - 命题逻辑的发现。

亚里士多德的亚历山大州（FL.200 CE），斑岩（234-C.305），Amphyius Hermeiou（5世纪），Philoponus（C.500）和Simplicius（6世纪）和Boethius（C.480-524）的拉丁座子（C.480-524）主要是为了保护亚里士多德逻辑的替代解释以及失去围岩的来源和坚忍的作品。 他们还允许我们追查亚里士多德的危险解释的逐步发展，以更加乐观的逻辑，这是由于吸收和包含不仅仅是驻地和柏拉图师理论而且来自数学和修辞。 其中两个评论员特别值得特别提及自己的权利：斑岩，写作isagoge或介绍（即aristotle类别），他讨论了属的五个概念，物种，不同，财产和事故的五个概念概念需要知道了解类别。 几个世纪以来，伊蚊是学生将学生解决的第一个逻辑文本，斑岩的五个档案（与亚里士多德的四个不同）形成了Quinque Voces中世纪学说的基础。 第二是Boethius。 除了评论外，他还写了一些逻辑论文，大多是亚里士多德逻辑的简单概览，也是两个非常有趣的逻辑：（i）他在题单的差异上有人见证了逻辑学家的题单论点的详细制度后来的古代在罗马律师的需要的影响下从亚里士多德的主题中发展起来。 （ii）他对假设的三段论系统地提出全面假设和混合的假设三段论，因为它们是从早期围岩中所知的; 它可能来自斑岩。 Boethius的坚持认为'如果是A，这是B'是'如果是一个，它不是B'建议对条件的假定理解，一个观点在ammonius中也有一些证据，但是早先没有证明这一点逻辑学家。 从历史上看，Boethius是最重要的，因为他翻译了所有aristotle的诺斯康进入拉丁语，使这些文本（除了后分析除外）可供中世纪的哲学家。