The genesis of the calculus of binary relations, which was introduced by A. De Morgan (1860) and was subsequently greatly developed by C.S. Peirce (1933) and E. Schroder (1895), is examined. Its further development, from the perspective of modern model theory, in the 1940s and 1950s is described.
展开▼
机译:由A. de Morgan(1860)引入的二元关系微积分的成因,随后由C.S.Peirce(1933)和E. Schroder(1895)大致发育。从现代模型理论的角度来看,它进一步发展,在20世纪40年代和1950年代。
展开▼