施罗德，E．

【生卒】：1841～1902

【介绍】：

德国数学家和逻辑学家。著有《逻辑代数讲义》(共3卷，1890～1905。第1卷，1890；第2卷第1篇，1891；第3卷，1895；第2卷第2篇在施罗德逝世后由E．缪勒编辑，1905)。施罗德对布尔代数所做的第一个改进是，对符号“+”作了相容性的解释。其次，他指出在类演算中，减法和除法是不必要的，可用加法和乘法的否定来定义。第三，他根据类包含关系来构造类演算，而不是像布尔那样利用等式关系。施罗德综合了布尔等人的成果，在《逻辑代数讲义》第1卷中构造了布尔代数的形式系统。这一系统可作域的演算解释，也可作类演算解释。他在第2卷中，从这一系统推导出命题演算，并涉及谓词演算，使用了皮尔士的量词符号。《逻辑代数讲义》第3卷专论关系的代数和逻辑，发展了德·摩根和皮尔士的成果，是3卷书中最重要的1卷，对后来关系代数的著作有一定的影响。由于施罗德对逻辑代数的发展有重要贡献，因而人们称逻辑代数为“布尔－施罗德代数”。此外，施罗德在罗素之前，初步提出了逻辑类型论的思想。