现代逻辑

16世纪

文艺复兴时期的作家有时会谴责所有的学院派逻辑。的人文主义但亚里士多德的逻辑常常被认为是无望地与“贫瘠的”结合在一起。中世纪的逻辑是构成这是重生精神的例外。有些，例如马丁。路德(1483-1546)，都被亚里士多德主义的任何暗示所排斥。其他人，比如伟大的人文主义散文家Desiderius伊拉斯谟(1466-1536)，偶尔赞扬亚里士多德，但从不赞扬他的逻辑理论;像文艺复兴时期的许多作家一样，伊拉斯谟在理论中发现三段论只有“微妙和枯燥的独创性”(约翰·惠津加，伊拉斯谟[1924])。德国路德教人文主义者菲利普·墨兰顿(1497-1560)对亚里士多德的逻辑有更平衡的理解。墨兰顿的对照方言比率(“方言简介”)，是在他的机构Rhetoricae成为路德教流行的文本。在书中，他描述自己的目的是要呈现“一种真实的、纯粹的、不复杂的逻辑，就像我们从亚里士多德和他的一些明智的评论家那里得到的那样。”在其他地方，有影响力的作家，如拉巴莱、彼特拉克和蒙田，对他们所知道的逻辑几乎没有什么好话。

法国改革家和小册子作者Petrus支(Pierre de la Ramée)也是极具影响力的“改革”逻辑文本的作者。他的Dialectique1555年的《辩证法》(1574年被翻译成英语)是第一部用现代语言写成的重要逻辑著作。在这部作品和他的作品中多方言(“两本书的辩证法”)1556年，他结合了对学术逻辑的攻击，强调在实际论证中使用逻辑(“辩证法”)，并提出了一种非常简化的直言三段论方法(没有试图遵循亚里士多德)。在其他地方，他提出推理应该使用欧几里得元素而不是通过三段论的研究。他特别注意有效的三段论单数前提，比如“屋大维是凯撒的继承人。我是屋大维。因此，我是凯撒的继承人。”早期的逻辑学家对单数术语(如专有名称)的处理是:Pseudo-Scotus等人提出了建议同化通过将"凯撒大帝会死"理解为"所有凯撒大帝都会死"尽管Ramus关于单一术语的建议没有被广泛接受，但他对明确表述这些术语的关注，以及他拒绝使用人为的技术将它们转化为标准形式，预示着更近期的利益。尽管它有前体在中世纪语义学思想中，拉莫斯的思想划分为层次结构由概念、判断、论证和方法组成，在17和18世纪颇具影响力。

学术逻辑仍然存在，特别是在罗马天主教占主导地位的大学和国家，如意大利和西班牙。其中一些工作具有相当大的价值，即使它不在主流逻辑传统之外，它在16世纪偏离了主流逻辑传统。如果梅兰希顿和拉姆斯的改革传统代表了现代逻辑学的一种主要传统，而新经院传统代表了另一种主要传统，那么(这里跟随逻辑史学家第三个传统是在西班牙(马略卡)士兵，牧师，传教士，和追随者神秘的雷蒙间歇(1235 - 1315)。他的Ars麦格纳，将军和终极(1501);“伟大的、一般的和终极的艺术”)代表了一种尝试象征着概念和派生命题，形成各种可能性的组合。这些概念，与卡巴拉的传说有关，后来影响了帕斯卡和莱布尼茨和兴起概率论．鲁尔的影响更直接地体现在他的西班牙同胞的作品中胡安·路易斯·维维斯(1492-1540)，他使用v形符号表示包含一个术语在另一个(见插图)．其他受到Lull启发的作品包括逻辑和符号德国逻辑学家的体系约翰·海因里希·阿尔斯特德(1588-1638)。Vives和Alsted的工作可能是第一个系统的在逻辑象征上的努力。

随着17世纪对逻辑符号化的兴趣越来越浓厚。这些符号有时采用图形形式，但更多的是用代数形式的字母来代表命题、概念、类、属性和关系，以及逻辑概念的特殊符号。在数学转向系统地使用特殊符号之后，逻辑学家受到数学所取得的成就的启发，希望能模仿这种成功。符号和缩写的系统应用，以及有意识地希望通过这种应用取得巨大进步，是进入20世纪的现代逻辑学的一个显著特征。

近代以来，不仅逻辑著作的外观发生了重大变化，而且逻辑的目的也发生了重大变化。对亚里士多德来说，逻辑学是理想人类的理论推理而且推理这也很清楚教学价值。早期的现代逻辑学家强调他们所谓的“辩证法”(或“修辞学”)，因为“逻辑”已经意味着一种复杂的学术推理理论，而这种理论并不总是指向改进推理。一个相关的目标是将人类推理的范围扩展到教科书之外用演绎推理的并承认有一些重要的有效的推理不能用传统的亚里士多德三段论来表述。但是，对亚里士多德逻辑(广义上包括学院派逻辑)的拒绝的另一部分，最好的解释是，现代逻辑所采取的变化的、全新的目标。其中一个目标就是开发一种理想的自然表达理想思想的逻辑语言，比自然语言更精确。另一个目标是发展思考和发现的方法，以加速或改善人类的思维，或使其能够被机械设备所取代。尽管亚里士多德的逻辑将自己视为训练“自然”推理能力的工具，但后来的逻辑提出了极大地改善人类薄弱和摇摆不定的倾向和能力。逻辑与数学在现代是一个特别有特色的主题。最后，在现代时代来了一个激烈的意识的重要性逻辑形式(句子的形式，以及论点的形式或模式)。虽然中世纪在句子和论点的模式之间做了许多区分，“形式”的现代逻辑概念可能首先在威廉·罗文·汉密尔顿爵士英国数学家和逻辑学家奥古斯都·摩根(德摩根形式逻辑1847年)。现在标准的讨论有效性，无效，以及句子和论证中“正式”与非正式方面的自觉分离，这些都可以追溯到这部作品。