Hostname: page-component-8448b6f56d-t5pn6 Total loading time: 0 Render date: 2024-04-19T15:27:30.810Z Has data issue: false hasContentIssue false
  • English
  • Français

On the calculus of relations

Published online by Cambridge University Press:  12 March 2014

Alfred Tarski
Alfred Tarski*
Affiliation:
Harvard University
Get access Rights & Permissions [Opens in a new window]

Extract

The logical theory which is called the calculus of (binary) relations, and which will constitute the subject of this paper, has had a strange and rather capricious line of historical development. Although some scattered remarks regarding the concept of relations are to be found already in the writings of medieval logicians, it is only within the last hundred years that this topic has become the subject of systematic investigation. The first beginnings of the contemporary theory of relations are to be found in the writings of A. De Morgan, who carried out extensive investigations in this domain in the fifties of the Nineteenth Century. De Morgan clearly realized the inadequacy of traditional logic for the expression and justification, not merely of the more intricate arguments of mathematics and the sciences, but even of simple arguments occurring in every-day life; witness his famous aphorism, that all the logic of Aristotle does not permit us, from the fact that a horse is an animal, to conclude that the head of a horse is the head of an animal. In his effort to break the bonds of traditional logic and to expand the limits of logical inquiry, he directed his attention to the general concept of relations and fully recognized its significance. Nevertheless, De Morgan cannot be regarded as the creator of the modern theory of relations, since he did not possess an adequate apparatus for treating the subject in which he was interested, and was apparently unable to create such an apparatus. His investigations on relations show a lack of clarity and rigor which perhaps accounts for the neglect into which they fell in the following years.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 6 , Issue 3 , September 1941 , pp. 73 - 89
Copyright
Copyright © Association for Symbolic Logic 1941

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1 For detailed historical information and thorough bibliographical references, see Lewis, C. I., A survey of symbolic logic, Berkeley, California, 1918Google Scholar.

2 Grundzüge der theoretischen Logik, Berlin 1938 (second edition), p. 45 ffCrossRefGoogle Scholar.

3 This part of our axiom system is due essentially to E. V. Huntington; see his paper Sets of independent postulates for the algebra of logic, Transactions of the American Mathematical Society, vol. 5 (1904), p. 292 fGoogle Scholar. It is easily seen that axioms I–VII are symmetric with respect to the absolute constants ‘+’ and ‘·’, as well as ‘1’ and ‘0’. It would be desirable to have a simple and independent axiom system for the whole calculus of relations which would be symmetric with respect to both absolute and relative constants.

4 Cf. Schröder, op. cit., p. 52 ff.; Kuratowski, C. and Tarski, A., Les opérations logiques et les ensembles projectifs, Fundamenta mathematicae, vol. 17 (1931), p. 240 ffCrossRefGoogle Scholar.

5 See Schröder, op. cit., p. 153.

6 Die Vollständigkeit der Axiome des logischen Funktionenkalküls, Monatshefte für Mathematik und Physik, vol. 37 (1930), pp. 349–360CrossRefGoogle Scholar.

7 The theory of representations for Boolean algebras, Transactions of the American Mathematical Society, vol. 40 (1936), pp. 37–111Google Scholar; see in particular p. 106.

8 Postulates for the calculus of binary relations, this Journal, vol. 5 (1940), pp. 85–97Google Scholar; see in particular p. 94.

9 A note on the Entscheidungsproblem, this Journal, vol. 1 (1936), pp. 40–41Google Scholar (and Correction, ibid., pp. 101–102).

10 The proof will be given later in a separate paper.

11 Korselt's result was published in the paper of Löwenheim, L., über Möglichkeiten im Relativkalkül, Mathematische Annalen, vol. 76 (1915), pp. 447–470CrossRefGoogle Scholar.

12 Über die Beschränktheit der Ausdrucksmittel deduktiver Theorien, Ergebnisse eines mathematischen Kolloquiums, no. 7 (1936), pp. 15–22Google Scholar. (There are several misprints in that paper. In particular, read ‘metamathematisch’ and ‘Metamathematik’ instead of ‘mathematisch’ and ‘Mathematik.’)

13 I wish to take this opportunity to express my gratitude to Dr. J. C. C. McKinsey for his assistance in preparing this paper.