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.
Similar content being viewed by others
References
[Birkhoff1948] G. Birkhoff, Lattice Theory (1948), Colloquium Publications, vol. XXV, American Mathematical Society, New York.
[Boole1847] G. Boole, The mathematical analysis of logic, being an essay toward a calculus of deductive reasoning (1847), 82, London and Cambridge.
[Brink1978] Ch. Brink, On Peirce's notation for the logic of relatives, Transactions of the Charles S. Peirce Society 14 (1978), pp. 285–304.
[Brink1979] Ch. Brink, The algebra of relatives, Notre Dame Journal of Formal Logic 20 (1979), pp. 900–908.
[Brink1981] Ch. Brink, Boolean modules, Journal of Algebra 71 (1981), pp. 291–313.
[Brink1988] Ch. Brink, On the application of relations, South African Journal of Philosophy 7 (2) (1988), pp. 105–112.
[Brunning1980] J. Brunning, Peirce's Development of the Algebra of Relations (1980), Doctoral dissertation, University of Toronto, Toronto.
[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.
[Church1956] A. Church, Introduction to Mathematical Logic (1956), ix+378, Princeton University Press, Princeton, N.J.
[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].
[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].
[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].
[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.
[DPP1911] Dictionary of Philosophy and Psychology (1911), second edition, edited by J. M. Martin, Macmillan & Co., New York.
[Huntington1904] E. V. Huntington, Sets of independent postulates for the algebra of logic, Transactions of the American Mathematical Society 5 (1904), pp. 288–309.
[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.
[Huntington1933a] E. V. Huntington, Boolean algebra. A correction, Transactions of the American Mathematical Society 35 (1933), pp. 557–558.
[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.
[Jónsson-Tarski1951] B. Jónsson and A. Tarski, Boolean algebras with operators, Part I, American Journal of Mathematics 73 (1951), pp. 891–939.
[Jónsson-Tarski1952] B. Jónsson and A. Tarski, Boolean algebras with operators, Part II, American Journal of Mathematics 74 (1952), pp. 127–162.
[Kwatinetz1981] M. Kwatinetz, Problems of Expressibility in Finite Languages (1981), xi+106, Doctoral dissertation, University of California, Berkeley.
[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.
[Lewis-Langford1959] C. I. Lewis and C. H. Langford, Symbolic Logic (1959), v+518, Dover Publications, New York.
[Löwenheim1915] L. Löwenheim, Über Möglichkeiten im Relativkalkul, Mathematische Annalen 76 (1915), pp. 447–470. English translation in [van-Heijenoort1967].
[Lyndon1950] R. C. Lyndon, The representation of relational algebras, Annals of Mathematics (series 2) 51 (1950), pp. 707–729.
[Lyndon1956] R. C. Lyndon, The representation of relation algebras, II, Annals of Mathematics (series 2) 63 (1956), pp. 294–307.
[Lyndon1961] R. C. Lyndon, Relation algebras and projective geometries, Michigan Mathematical Journal 8 (1961), pp. 21–28.
[Maddux1978] R. D. Maddux, Topics in Relation Algebras (1978), iii+241, Doctoral dissertation, University of California, Berkeley.
[Maddux1982] R. D. Maddux, Some varieties containing relation algebras, Transactions of the American Mathematical Society 272 (1982), pp. 501–526.
[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.
[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.
[McKenzie1966] R. N. W. McKenzie, The Representation of Relation Algebras (1966), vi+128, Doctoral dissertation, University of Colorado, Boulder.
[McKenzie1970] R. N. W. McKenzie, The representation of integral relation algebras, Michigan Mathematical Journal 17 (1970), pp. 279–287.
[Merrill1984] D. D. Merrill, The 1870 logic of relatives memoir, in, vol. 2, 1867–1871, pp. xlii–xlviii.
[Monk1961] J. Donald Monk, Studies in Cylindric Algebra (1961), vi+83, Doctoral dissertation, University of California, Berkeley.
[Monk1964] J. Donald Monk, On representable relation algebras, Michigan Mathematical Journal 11 (1964), pp. 207–210.
[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.
[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].
[Peirce1880] Ch. S. Peirce, On the algebra of logic, American Journal of Mathematics 3 (1880), pp. 15–57. Reprinted in [Peirce1933].
[Peirce1882] Ch. S. Peirce, Brief description of the algebra of relatives, privately printed, 1882. Reprinted in [Peirce1933], pp. 180–186.
[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].
[Peirce1883b] Ch. S. Peirce, Note B: the logic of relatives, in, pp. 187–203. Reprinted in [Peirce1933] and in [Peirce1983].
[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].
[Peirce1892] Ch. S. Peirce, The critic of arguments, The Open Court 6 (1892), pp. 3391–4, pp. 3416–8. Reprinted in [Peirce1933].
[Peirce1897] Ch. S. Peirce, The logic of relatives, The Monist 7 (1897), pp. 161–217. Reprinted in [Peirce1933].
[Peirce1903] Ch. S. Peirce, Nomenclature and divisions of dyadic relations, 1903. Reprinted in [Peirce1933], 3.571–608.
[Peirce1933] Ch. S. Peirce, Collected Papers (1933), edited by Charles Hartshorne and Paul Weiss, Harvard University Press, Cambridge.
[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.
[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.
[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.
[Tarski1941] A. Tarski, On the calculus of relations, Journal of Symbolic Logic 6 (1941), pp. 73–89.
[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.
[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.
[Tarski-Givant1987] A. Tarski and S. Givant, A Formalization of Set Theory without Variables (1987), Colloquium Publications 41, American Mathematical Society.
[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.
[Whitehead-Russell1910] A. North Whitehead and B. Russell, Principia Mathematica, Volumes I (1910), xv+666, Cambridge University Press, Cambridge, England. Second edition, 1925
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Maddux, R.D. The origin of relation algebras in the development and axiomatization of the calculus of relations. Stud Logica 50, 421–455 (1991). https://doi.org/10.1007/BF00370681
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370681