约翰·维恩

约翰·维恩(生于1834年8月4日，船边金斯敦他是英国逻辑学家和哲学家，以图解的发明者闻名于世维恩图——代表直言命题测试有效性的分类三段论．他还为数理逻辑(也称为数理逻辑)，概率论，以及科学哲学．

维恩是英国圣公会牧师亨利·维恩和玛莎·赛克斯·维恩的第一个孩子。在进入冈维尔和凯斯学院之前，他接受了家庭教师和私立学校的教育剑桥大学在那里，他获得了学位数学并于1857年成为研究员。他是任命他是1859年的圣公会牧师。1862年，他被任命为冈维尔和凯斯学院的讲师逻辑以及科学哲学，后来致力于研究学院的历史和他自己的家庭。1883年，他辞去了神职，他认为英国国教与他的哲学信仰不相容。从1903年到去世，他一直担任大学校长。

以他的名字命名的图表是由维恩引入的，作为描述类之间的包容和排斥关系的手段集．它们由两个或三个交叉的圆组成，每个圆代表一个类，每个圆标记为大写字母．小写字母x' s和shading分别用于表示给定类的某些(至少一个)成员的存在和不存在。

两圈维恩图代表直言命题，其基本形式是:“所有A都是B”、“没有A是B”、“有些A是B”和“有些A不是B”。三圈图(其中每个圆与另外两个圆相交)代表三段论，是一种古老的直言命题演绎由两个范畴组成的论证前提一个绝对的结论。一个例子是:

有些哺乳动物是食肉动物。所有的哺乳动物都是动物。因此，有些动物是食肉动物。

的维恩图解与此相对应三段论是:

如果在普遍前提("全部"或"无")中先表示了这两个前提之后，结论也先表示了，那么推论就是有效的(即推论的结论必然是从它的前提中推导出来的);如果不是，则无效。上述三段论是有效的。维恩图很快被认为是他们的教学价值，从那时起，它们就成为了逻辑导论课程的标准部分。

维恩在数理逻辑(1881)，这本书主要是对这位英国数学家的尝试进行了复杂的辩护乔治·布尔以代数形式表示逻辑关系(看到逻辑学，历史:布尔和德摩根)．在机会的逻辑(1866)维恩提出了第一个系统的概率频率理论，根据该理论，对事件概率的陈述是对该类型事件在长期内将发生的频率的预测，而不是像当时的主流理论所持的那样，描述一个理性的人对此类事件将发生的信念的强度。维恩最后一部重要的哲学著作，经验或归纳逻辑的原则(1889)，是一个批判的约翰·斯图亚特·密尔的归纳科学推理的叙述。1897年，维恩出版了冈维尔和凯斯学院的传记历史(1349-1897)；他的校友Cantabrigienses(1922)是在他儿子的帮助下编写的，是剑桥大学从成立到1900年的学生、校友和官员的历史名单。