# The origin of relation algebras in the development and axiomatization of the calculus of relations

Article

Received:

Revised:

## Abstract

The calculus of relations was created and developed in the second half of the nineteenth century by Augustus De Morgan, Charles Sanders Peirce, and Ernst Schröder. In 1940 Alfred Tarski proposed an axiomatization for a large part of the calculus of relations. In the next decade Tarski's axiomatization led to the creation of the theory of relation algebras, and was shown to be incomplete by Roger Lyndon's discovery of nonrepresentable relation algebras. This paper introduces the calculus of relations and the theory of relation algebras through a review of these historical developments.

## Preview

Unable to display preview. Download preview PDF.

### References

- [Birkhoff1948] G. Birkhoff,
**Lattice Theory**(1948), Colloquium Publications, vol. XXV, American Mathematical Society, New York.Google Scholar - [Boole1847] G. Boole,
**The mathematical analysis of logic, being an essay toward a calculus of deductive reasoning**(1847), 82, London and Cambridge.Google Scholar - [Brink1978] Ch. Brink,
*On Peirce's notation for the logic of relatives*,**Transactions of the Charles S. Peirce Society 14**(1978), pp. 285–304.Google Scholar - [Brink1979] Ch. Brink,
*The algebra of relatives*,**Notre Dame Journal of Formal Logic 20**(1979), pp. 900–908.Google Scholar - [Brink1988] Ch. Brink,
*On the application of relations*,**South African Journal of Philosophy 7**(**2**) (1988), pp. 105–112.Google Scholar - [Brunning1980] J. Brunning,
**Peirce's Development of the Algebra of Relations**(1980), Doctoral dissertation, University of Toronto, Toronto.Google Scholar - [Chin-Tarski1951] L. H. Chin and A. Tarski,
*Distributive and modular laws in the arithmetic of relation algebras*,**University of California Publications in Mathematics**, New Series**1**(1951), pp. 341–384.Google Scholar - [Church1956] A. Church,
**Introduction to Mathematical Logic**(1956), ix+378, Princeton University Press, Princeton, N.J.Google Scholar - [De Morgan1856] A. De Morgan,
*On the symbols of logic, the theory of the syllogism, and in particular of the copula, and the application of the theory of probabilities to some questions in the theory of evidence*, (read February 25, 1850),**Transactions of the Cambridge Philosophical Society 9**(1856), pp. 79–127. Reprinted in [De Morgan1966].Google Scholar - [De Morgan1864a] A. De Morgan,
*On the syllogism: III, and on logic in general*, (read February 8, 1858),**Transactions of the Cambridge Philosophical Society 10**(1864), pp. 173–230. Reprinted in [De Morgan1966].Google Scholar - [De Morgan1864b] A. De Morgan,
*On the syllogism: IV, and on the logic of relations*, (read April 23, 1860),**Transactions of the Cambridge Philosophical Society 10**(1864), pp. 331–358. Reprinted in [De Morgan1966].Google Scholar - [De Morgan1966] A. De Morgan,
**On the Syllogism, and Other Logical Writings**(1966), xxxi+355, edited, with an Introduction, by Peter Heath, Yale University Press, New Haven.Google Scholar - [DPP1911]
**Dictionary of Philosophy and Psychology**(1911), second edition, edited by J. M. Martin, Macmillan & Co., New York.Google Scholar - [Huntington1904] E. V. Huntington,
*Sets of independent postulates for the algebra of logic*,**Transactions of the American Mathematical Society 5**(1904), pp. 288–309.Google Scholar - [Huntington1933] E. V. Huntington,
*New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell's Principia Mathematica*,**Transactions of the American Mathematical Society 35**(1933), pp. 274–304.Google Scholar - [Huntington1933a] E. V. Huntington,
*Boolean algebra. A correction*,**Transactions of the American Mathematical Society 35**(1933), pp. 557–558.Google Scholar - [Jónsson-Tarski1948] B. Jónsson and A. Tarski,
*Representation problems for relation algebras*, Abstract 89,**Bulletin of the American Mathematical Society 54**(1948), p. 80 and p. 1192.Google Scholar - [Jónsson-Tarski1951] B. Jónsson and A. Tarski,
*Boolean algebras with operators, Part I*,**American Journal of Mathematics 73**(1951), pp. 891–939.Google Scholar - [Jónsson-Tarski1952] B. Jónsson and A. Tarski,
*Boolean algebras with operators, Part II*,**American Journal of Mathematics 74**(1952), pp. 127–162.Google Scholar - [Kwatinetz1981] M. Kwatinetz,
**Problems of Expressibility in Finite Languages**(1981), xi+106, Doctoral dissertation, University of California, Berkeley.Google Scholar - [Lewis1918] C. I. Lewis,
**A Survey of Symbolic Logic**(1918), vi+406, University of California Press, Berkeley. Reprint of Chapters I–IV by Dover Publications, 1960, New York.Google Scholar - [Lewis-Langford1959] C. I. Lewis and C. H. Langford,
**Symbolic Logic**(1959), v+518, Dover Publications, New York.Google Scholar - [Löwenheim1915] L. Löwenheim,
*Über Möglichkeiten im Relativkalkul*,**Mathematische Annalen 76**(1915), pp. 447–470. English translation in [van-Heijenoort1967].Google Scholar - [Lyndon1950] R. C. Lyndon,
*The representation of relational algebras*,**Annals of Mathematics**(series 2)**51**(1950), pp. 707–729.Google Scholar - [Lyndon1956] R. C. Lyndon,
*The representation of relation algebras, II*,**Annals of Mathematics**(series 2)**63**(1956), pp. 294–307.Google Scholar - [Lyndon1961] R. C. Lyndon,
*Relation algebras and projective geometries*,**Michigan Mathematical Journal 8**(1961), pp. 21–28.Google Scholar - [Maddux1978] R. D. Maddux,
**Topics in Relation Algebras**(1978), iii+241, Doctoral dissertation, University of California, Berkeley.Google Scholar - [Maddux1982] R. D. Maddux,
*Some varieties containing relation algebras*,**Transactions of the American Mathematical Society 272**(1982), pp. 501–526.Google Scholar - [Martin1976] R. M. Martin,
*Some comments on De Morgan, Peirce, and the logic of relations*,**Transactions of the Charles S. Peirce Society 12**(1976), pp. 223–230.Google Scholar - [Martin1978] R. M. Martin,
*Of servants, lovers, and benefactors: Peirce's algebra of relatives of 1870*,**Journal of Philosophical Logic 7**(1978), pp. 27–48.Google Scholar - [McKenzie1966] R. N. W. McKenzie,
**The Representation of Relation Algebras**(1966), vi+128, Doctoral dissertation, University of Colorado, Boulder.Google Scholar - [McKenzie1970] R. N. W. McKenzie,
*The representation of integral relation algebras*,**Michigan Mathematical Journal 17**(1970), pp. 279–287.Google Scholar - [Merrill1984] D. D. Merrill,
*The 1870 logic of relatives memoir*, in, vol. 2, 1867–1871, pp. xlii–xlviii.Google Scholar - [Monk1961] J. Donald Monk,
**Studies in Cylindric Algebra**(1961), vi+83, Doctoral dissertation, University of California, Berkeley.Google Scholar - [Monk1964] J. Donald Monk,
*On representable relation algebras*,**Michigan Mathematical Journal 11**(1964), pp. 207–210.Google Scholar - [Moore1987] G. H. Moore,
*A house divided against itself: the emergence of first-order logic as the basis for mathematics*, in**Studies in the History of Mathematics**(1987), pp. 98–136, Esther R. Phillips, editor, MAA Studies in Mathematics, Volume 26, The Mathematical Association of America.Google Scholar - [Peirce1870] Ch. S. Peirce,
*Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole's calculus of logic*,**Memoirs of the American Academy of Sciences 9**(1870), pp. 317–378. Reprint by Welch, Bigelow and Co., Cambridge, Mass., 1870, pp. 1–62. Also reprinted in [Peirce1933] and [Peirce1984].Google Scholar - [Peirce1880] Ch. S. Peirce,
*On the algebra of logic*,**American Journal of Mathematics 3**(1880), pp. 15–57. Reprinted in [Peirce1933].Google Scholar - [Peirce1882] Ch. S. Peirce,
*Brief description of the algebra of relatives*, privately printed, 1882. Reprinted in [Peirce1933], pp. 180–186.Google Scholar - [Peirce1883] Ch. S. Peirce,
**Studies in Logic by Members of the Johns Hopkins University**(1883), edited by C. S. Peirce, Little, Brown, and Co., Boston. Reprinted in [Peirce1983].Google Scholar - [Peirce1883b] Ch. S. Peirce,
*Note B: the logic of relatives*, in, pp. 187–203. Reprinted in [Peirce1933] and in [Peirce1983].Google Scholar - [Peirce1885] Ch. S. Peirce,
*On the algebra of logic; a contribution to the philosophy of notation*,**American Journal of Mathematics 7**(1885), pp. 180–202. Reprinted in [Peirce1933].Google Scholar - [Peirce1892] Ch. S. Peirce,
*The critic of arguments*,**The Open Court 6**(1892), pp. 3391–4, pp. 3416–8. Reprinted in [Peirce1933].Google Scholar - [Peirce1897] Ch. S. Peirce,
*The logic of relatives*,**The Monist 7**(1897), pp. 161–217. Reprinted in [Peirce1933].Google Scholar - [Peirce1903] Ch. S. Peirce,
*Nomenclature and divisions of dyadic relations*, 1903. Reprinted in [Peirce1933], 3.571–608.Google Scholar - [Peirce1933] Ch. S. Peirce,
**Collected Papers**(1933), edited by Charles Hartshorne and Paul Weiss, Harvard University Press, Cambridge.Google Scholar - [Peirce1983] Ch. S. Peirce,
**Studies in Logic by Members of the Johns Hopkins University**(1983), lviii+vi+203, reprint of [Peirce1883], with an Introduction by Max H. Fisch, and a Preface by Achim Eschbach, John Benjamins Publishing Co., Amsterdam and Philadelphia.Google Scholar - [Peirce1984] Ch. S. Peirce,
**Writings of Charles S. Peirce, A Chronological Edition**(1984), edited by Edward C. Moore, Max H. Fisch, Christian J. W. Kloesel, Don D. Roberts, and Lynn A. Ziegler, Indiana University Press, Bloomington.Google Scholar - [Schröder1895] F. W. K. Ernst Schröder,
**Vorlesungen über die Algebra der Logik (exacte Logik)**(1895), Volume 3, “Algebra und Logik der Relative”, part I, Leipzig. Second edition published by Chelsea, Bronx, New York, 1966.Google Scholar - [Tarski1941] A. Tarski,
*On the calculus of relations*,**Journal of Symbolic Logic 6**(1941), pp. 73–89.Google Scholar - [Tarski1955] A. Tarski,
*Contributions to the theory of models, III*,**Koninklijkle Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Mathematical Sciences (Indagationes Mathematicae 17) 58**(1955), pp. 56–64.Google Scholar - [Tarski1956] A. Tarski,
*Equationally complete rings and relation algebras*,**Koninklijkle Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Mathematical Sciences (Indagationes Mathematicae 18) 59**(1956), pp. 39–46.Google Scholar - [Tarski-Givant1987] A. Tarski and S. Givant,
*A Formalization of Set Theory without Variables*(1987), Colloquium Publications 41, American Mathematical Society.Google Scholar - [vanHeijenoort1967] J. van Heijenoort,
**from Frege to Gödel: A Source Book in Mathematical Logic**, pp. 1879–1931 (1967), xi+660, Harvard University Press, Cambridge, Massachusetts.Google Scholar - [Whitehead-Russell1910] A. North Whitehead and B. Russell,
**Principia Mathematica, Volumes I**(1910), xv+666, Cambridge University Press, Cambridge, England. Second edition, 1925Google Scholar

## Copyright information

© Polish Academy of Sciences 1991