| 凡恩 John Venn1834—1923 亦译“文恩”或“维恩”。英国数学家、逻辑学家。英国皇家学会会员，在剑桥大学从事研究和教学66年直至去世。系统整理了布尔代数，使之表现为连贯和条理分明的逻辑。创凡恩图解，该图解被看做是对布尔的各种演算程序的合理性的解释。它保持了布尔逻辑的精神，又具有直观性。在数理逻辑发展史上首先提出“符号逻辑”这一名称。1881年出版《符号逻辑》，清楚地分析了符号逻辑的形式和要求。认为传统逻辑比符号逻辑接近日常思维，符号逻辑不能替代传统逻辑，但传统逻辑无法满足符号逻辑的某些要求。具体分析了命题中“存在”的意义。认为传统逻辑假设了命题主项和谓项的存在，但就符号逻辑而言，情况并非如此。认为全称命题所否定的东西较其所肯定的东西更为明确。将全称肯定命题“所有X是Y”理解为X类与非Y类没有共同的分子;全称否定命题“没有X是Y”理解为X类与Y类没有共同的分子。据此提出要使全称命题为真，并不一定要求X类或Y类分子的存在。又认为要使特称命题“有X是Y”或“有X不是Y”为真，则X类与Y类的分子必须存在。讨论过概率逻辑，被认为是赖辛巴赫概率逻辑的先驱。另著有《机遇逻辑》(1866)、《经验或归纳逻辑原理》(1889)等。 |