Studia Logica

, Volume 50, Issue 3–4, pp 421–455 | Cite as

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

  • Roger D. Maddux
Article

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.

Unable to display preview. Download preview PDF.

References

  1. [Birkhoff1948] G. Birkhoff, Lattice Theory (1948), Colloquium Publications, vol. XXV, American Mathematical Society, New York.Google Scholar
  2. [Boole1847] G. Boole, The mathematical analysis of logic, being an essay toward a calculus of deductive reasoning (1847), 82, London and Cambridge.Google Scholar
  3. [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
  4. [Brink1979] Ch. Brink, The algebra of relatives, Notre Dame Journal of Formal Logic 20 (1979), pp. 900–908.Google Scholar
  5. [Brink1981] Ch. Brink, Boolean modules, Journal of Algebra 71 (1981), pp. 291–313.Google Scholar
  6. [Brink1988] Ch. Brink, On the application of relations, South African Journal of Philosophy 7 (2) (1988), pp. 105–112.Google Scholar
  7. [Brunning1980] J. Brunning, Peirce's Development of the Algebra of Relations (1980), Doctoral dissertation, University of Toronto, Toronto.Google Scholar
  8. [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
  9. [Church1956] A. Church, Introduction to Mathematical Logic (1956), ix+378, Princeton University Press, Princeton, N.J.Google Scholar
  10. [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
  11. [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
  12. [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
  13. [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
  14. [DPP1911] Dictionary of Philosophy and Psychology (1911), second edition, edited by J. M. Martin, Macmillan & Co., New York.Google Scholar
  15. [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
  16. [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
  17. [Huntington1933a] E. V. Huntington, Boolean algebra. A correction, Transactions of the American Mathematical Society 35 (1933), pp. 557–558.Google Scholar
  18. [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
  19. [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
  20. [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
  21. [Kwatinetz1981] M. Kwatinetz, Problems of Expressibility in Finite Languages (1981), xi+106, Doctoral dissertation, University of California, Berkeley.Google Scholar
  22. [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
  23. [Lewis-Langford1959] C. I. Lewis and C. H. Langford, Symbolic Logic (1959), v+518, Dover Publications, New York.Google Scholar
  24. [Löwenheim1915] L. Löwenheim, Über Möglichkeiten im Relativkalkul, Mathematische Annalen 76 (1915), pp. 447–470. English translation in [van-Heijenoort1967].Google Scholar
  25. [Lyndon1950] R. C. Lyndon, The representation of relational algebras, Annals of Mathematics (series 2) 51 (1950), pp. 707–729.Google Scholar
  26. [Lyndon1956] R. C. Lyndon, The representation of relation algebras, II, Annals of Mathematics (series 2) 63 (1956), pp. 294–307.Google Scholar
  27. [Lyndon1961] R. C. Lyndon, Relation algebras and projective geometries, Michigan Mathematical Journal 8 (1961), pp. 21–28.Google Scholar
  28. [Maddux1978] R. D. Maddux, Topics in Relation Algebras (1978), iii+241, Doctoral dissertation, University of California, Berkeley.Google Scholar
  29. [Maddux1982] R. D. Maddux, Some varieties containing relation algebras, Transactions of the American Mathematical Society 272 (1982), pp. 501–526.Google Scholar
  30. [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
  31. [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
  32. [McKenzie1966] R. N. W. McKenzie, The Representation of Relation Algebras (1966), vi+128, Doctoral dissertation, University of Colorado, Boulder.Google Scholar
  33. [McKenzie1970] R. N. W. McKenzie, The representation of integral relation algebras, Michigan Mathematical Journal 17 (1970), pp. 279–287.Google Scholar
  34. [Merrill1984] D. D. Merrill, The 1870 logic of relatives memoir, in, vol. 2, 1867–1871, pp. xlii–xlviii.Google Scholar
  35. [Monk1961] J. Donald Monk, Studies in Cylindric Algebra (1961), vi+83, Doctoral dissertation, University of California, Berkeley.Google Scholar
  36. [Monk1964] J. Donald Monk, On representable relation algebras, Michigan Mathematical Journal 11 (1964), pp. 207–210.Google Scholar
  37. [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
  38. [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
  39. [Peirce1880] Ch. S. Peirce, On the algebra of logic, American Journal of Mathematics 3 (1880), pp. 15–57. Reprinted in [Peirce1933].Google Scholar
  40. [Peirce1882] Ch. S. Peirce, Brief description of the algebra of relatives, privately printed, 1882. Reprinted in [Peirce1933], pp. 180–186.Google Scholar
  41. [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
  42. [Peirce1883b] Ch. S. Peirce, Note B: the logic of relatives, in, pp. 187–203. Reprinted in [Peirce1933] and in [Peirce1983].Google Scholar
  43. [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
  44. [Peirce1892] Ch. S. Peirce, The critic of arguments, The Open Court 6 (1892), pp. 3391–4, pp. 3416–8. Reprinted in [Peirce1933].Google Scholar
  45. [Peirce1897] Ch. S. Peirce, The logic of relatives, The Monist 7 (1897), pp. 161–217. Reprinted in [Peirce1933].Google Scholar
  46. [Peirce1903] Ch. S. Peirce, Nomenclature and divisions of dyadic relations, 1903. Reprinted in [Peirce1933], 3.571–608.Google Scholar
  47. [Peirce1933] Ch. S. Peirce, Collected Papers (1933), edited by Charles Hartshorne and Paul Weiss, Harvard University Press, Cambridge.Google Scholar
  48. [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
  49. [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
  50. [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
  51. [Tarski1941] A. Tarski, On the calculus of relations, Journal of Symbolic Logic 6 (1941), pp. 73–89.Google Scholar
  52. [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
  53. [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
  54. [Tarski-Givant1987] A. Tarski and S. Givant, A Formalization of Set Theory without Variables (1987), Colloquium Publications 41, American Mathematical Society.Google Scholar
  55. [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
  56. [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

Authors and Affiliations

  • Roger D. Maddux
    • 1
  1. 1.Department of MathematicsIowa State UniversityAmesIowa

Personalised recommendations