John Venn


Also found in: Dictionary, Thesaurus, Medical, Wikipedia.

Venn, John

 

Born Aug. 4, 1834, near Hull; died Apr. 4, 1923, in Cambridge. English logician. He worked in the field of the logic of classes, into which he introduced a special formulation, Venn diagrams, which are used in the logical mathematical theory of “formal neuronic nets.” The substantiation of inverse operations in the logical calculus of G. Boole belongs to Venn. He also worked on the logic of probability.

WORKS

The Logic of Chance,3rd ed. London, 1888.
The Principles of Empirical or Inductive Logic.London, 1889.
Symbolic Logic.London, 1881.

REFERENCES

Stiazhin, N. I. Formirovanie matematicheskoi logiki.Moscow, 1967.
Gutchin, I. B., and A. S. Kuzichev. Bionika i nadezhnost’.Moscow, 1967.
Kuzichev, A. S. Diagrammy Venna.Moscow, 1968.
References in periodicals archive ?
When he was born in 1647, his great-uncle John Venn would have been at the height of his power and influence in the country.
(For a nice account of the development of the notion of diagrams via Leonhard Euler, John Venn, and Charles Sanders Peirce, see the second chapter.) Shin provides two theories of diagrams, Venn-I and Venn-II, in which (1) the main syntactical notion is that of (well-formed) diagrams; (2) the proof theory consists of a set of rules that tell us how to operate with diagrams; and (3) the semantics is a generalization of the usual semantics for Venn diagrams.
(2) Often referred to as the "Saints," the members of this remarkable group of Evangelical Anglicans, formed in the early 1790s, included John and Henry Thornton, Wilberforce, Zachary Macaulay, Charles Grant, James Stephen, John Shore, Hannah More, and John Venn. For a period of thirty-five years this well-connected, pious, and activist group was the creative center of an extraordinary range of missionary, social, and philanthropic initiatives that would leave an enduring mark on British society.