又称萨克森的阿尔伯特，是威廉·奥康的逻辑学说的追随者，中世纪在命题逻辑方面最有代表性的人物之一。主要著作是《萨克森的阿尔伯特硕士的7极为有益的逻辑》。
阿尔伯特把他的逻辑分为这样几个部分：(1)词项(概述);(2)词项的特性;(3)命题;(4)推论(概述，命题推论，三段论推论，假言推论，模态三段论);(5)诡辩;(6)二律背反和道义。
他在研究推论时，把推论的规则和推论本身区别开来：推论规则乃是对有效推论形式的元逻辑的描述，而推论本身则是具有这一形式的命题。他自己在处理命题逻辑时一般也是这样做的，但有一些规则他又是用命题形式表达出来的。
他提出的推论规则有：
规则一(直接推
...... （共978字） [阅读本文]>>
西方思想斯多葛学派的主要领袖。他的浩瀚的著作奠定了这个学派的理论基础，甚至可以说，“如果没有克里西普斯，也就没有斯多葛学派”。他十分勤奋，据说每天必写五百行，一生共有七百零五种著作(包括编纂和重复的)。他关于
西方思想数理逻辑共使用五个命题联结词：∧(合取)、∨(析取)、(蕴涵)、(等值)、⇁(否定)、但并不是每个联结词都是必不可少的。一个系统根据自己的需要，可以选择其中的两个作为初始的联结词，把其他三个通过定义的
西方思想亦称命题演算。指处理复合命题及其逻辑关系，并将所有的重言式(其值党真的命题，如P∨⇁P)，组成一个完全形式化的符号系统。与谓词逻辑不同，命题逻辑在研究和考查逻辑形式时，将一个命题只分析到其中所含的命题
西方思想指研究包含模态词“必然”、“可能”的模态命题及其推理的科学。早在二千多年前，亚里士多德在它的《工具论》一书中，就对模态命题作过大量的讨论，并提出了许多模态三段论的推理形式。本世纪初，美国逻辑学家刘易斯
西方思想指研究摹状词的特征性质和使用方法的逻辑学说。摹状词是描述满足某种条件的、存在一个并且仅仅存在一个的那种事物时所使用的数理逻辑名词。在日常生活和科学研究中，经常会涉及到一些具有唯一性的事物，如“法国的首
上一篇