| 边沁，G. George Bentham1800—1884 英国植物学家。1815年开始研究植物学，1826—1832年任其伯父、英国功利主义哲学家J.边沁的秘书。同时在林肯律师学院攻读法律。1833年接受其伯父和父亲的遗产后全力进行植物学研究。长期致力于植物学研究。在逻辑学上的主要贡献是在哈米尔顿之前就阐述了谓词量化的理论。1827年发表《逻辑新体系纲要》，首次提出在分析命题时，仅断定主项是否为全称或特称是不充分的;对谓项也必须有同样的断定。由此，他用新的符号，把A、E、I、O四种古典命题增补为八种。用“tX”和“tY”表示“所有x”和“所有y”，用“pX”和“pY”表示“有的x”和“有的y”，用“=”表示“同一”，用“∥”表示“相异”。这样，“tX=pY”就表示命题“所有x是有的y”，“pX∥tY”则表示“有的x不是所有y”。但他对这八种命题的解释不太清楚。比如，他认为命题“tX∥pY”(“所有x不是有的y”)和“tX∥tY”(“所有x不是所有y”)两者都表示传统逻辑的E命题，并认为后者价值不大。著作有《植物属志》(合作，1862—1883)、《澳大利亚植物区系》(1863—1878)、《英国植物区系手册》(1858)等。 |