Hostname: page-component-586b7cd67f-t7fkt Total loading time: 0 Render date: 2024-11-25T04:43:00.569Z Has data issue: false hasContentIssue false

On the interpretation of Aristotelian syllogistic

Published online by Cambridge University Press:  12 March 2014

J. C. Shepherdson*
Affiliation:
The University of Bristol, Bristol, England

Extract

The main purpose of this note is to prove (theorem 11, § 5) that, in any interpretation of the formalisation of Aristotelian syllogistic given by Łukasiewicz [4], it is always possible to associate with each element a a non-null sub-class φ(a) of some ‘universal’ class V in such a way that ‘Aab’ (all a are b), ‘Iab’ (some a are b) are equivalent respectively to ‘φ(a) is contained in φ(b)’, ‘φ(a) has a non-null intersection with φ(b)’. Similarly (theorem 6, §4) we show that in Wedberg's system [14] with primitives ‘Aab’, ‘a’ (not a), it is possible to find a mapping aφ(a) as above such that ‘Aab’ is equivalent to ‘φ(a) is contained in φ(b)’ and φ(a‘ is equal to φ(a)’, the complement of φ(a) with respect to V. Thus, if we make the preliminary step of identifying elements a, b such that Aab and Aba both hold (i.e. taking equivalence classes with respect to the relation Aab & Aba), we are left with essentially only one kind of interpretation for these systems, namely the ‘normal’ interpretation by classes. Slupecki [11], [12] has proved that Łukasiewicz's system is a complete and decidable theory of the relations of inclusion and intersection of non-null classes, and Wedberg [14] has proved that his system is a complete and decidable theory of the relation of inclusion and the operation of complementation for nonnull, non-universal classes. Using the above-mentioned embedding theorem, we are able to obtain (theorems 9, 6, §§ 5, 4) very simple proofs of these results.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1956

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

REFERENCES

[1]Bocheński, I. M., On the categorical syllogism, Dominican Studies, vol. 1 (1948), pp. 3557.Google Scholar
[2]Henkin, L., The completeness of the first-order functional calculus, this Journal vol. 14 (1949), pp. 159166.Google Scholar
[3]Hermes, H., Zur theorie der aussagenlogischen Matrizen, Mathematische Zeitschrift, vol. 53 (1951), pp. 414418.Google Scholar
[4]Łukasiewicz, J., Aristotle's syllogistic from the standpoint of modern formal logic, Oxford (Clarendon Press), London and New York (Oxford University Press), 1951, xi + 141 pp.Google Scholar
[5]Mc'Kinsey, J. C. C., A solution of the decision problem for the Lewis systems S2 and S4 with an application to topology, this Journal, vol. 6 (1941), pp. 117134.Google Scholar
[6]Mc'Kinsey, J. C. C., The decision problem for some classes of sentences without quantifiers, this Journal, vol. 8 (1943), pp. 6166.Google Scholar
[7]Menne, A., Logik und Existenz, Meisenheim (Glan), 1954.Google Scholar
[8]Popper, K., The trivialisation of mathematical logic, Proceedings of the Xth International Congress of Philosophy at Amsterdam 1948, pp. 722727.Google Scholar
[9]Robinson, A., On the metamathematics of algebra, Amsterdam (North Holland Pub. Co.), 1951, ix + 195 pp.Google Scholar
[10]Słupecki, J., Uwagi o sylogistyce Arystotelesa, Annates Universitatis Mariae Curie-Sklodowska (Lublin), vol. 1, no. 3, Sectio F (1946), pp. 187191.10Google Scholar
[11]Słupecki, J., Z badań nod sylogistyka Arystotelesa, Travaux de la Société des Sciences et des Lettres de Wroclaw, sér. B, no. 9, Wroclaw (1948).10Google Scholar
[12]Słupecki, J., On Aristotelian syllogistic, Studia philosophica (Poznán), vol. 4 (for 1949–1950, pub. 1951), pp. 275300.10Google Scholar
[13]Thomas, I., CS(n): An extension of CS, Dominican studies, vol. 2 (1949), pp. 145161.Google Scholar
[14]Wedberg, A., The Aristotelian theory of classes, Ajatus, vol. 15 (1948), pp. 299314.Google Scholar