Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-11-09T09:14:00.923Z Has data issue: false hasContentIssue false
  • English
  • Français

New foundations for Lewis modal systems1

Published online by Cambridge University Press:  12 March 2014

E. J. Lemmon
E. J. Lemmon*
Affiliation:
Magdalen College, Oxford, England
Get access Rights & Permissions [Opens in a new window]

Extract

The main aims of this paper are firstly to present new and simpler postulate sets for certain well-known systems of modal logic, and secondly, in the light of these results, to suggest some new or newly formulated calculi, capable of interpretation as systems of epistemic or deontic modalities. The symbolism throughout is that of [9] (see especially Part III, Chapter I). In what follows, by a Lewis modal system is meant a system which (i) contains the full classical propositional calculus, (ii) is contained in the Lewis system S5, (iii) admits of the substitutability of tautologous equivalents, (iv) possesses as theses the four formulae:

We shall also say that a system Σ1 is stricter than a system Σ2, if both are Lewis modal systems and Σ1 is contained in Σ2 but Σ2 is not contained in Σ1; and we shall call Σ1absolutely strict, if it possesses an infinity of irreducible modalities. Thus, the five systems of Lewis in [5], S1, S2, S3, S4, and S5, are all Lewis modal systems by this definition; they are in an order of decreasing strictness from S1 to S5; and S1 and S2 alone are absolutely strict.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 22 , Issue 2 , June 1957 , pp. 176 - 186
Copyright
Copyright © Association for Symbolic Logic 1957

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.)

Footnotes

1

A version of this paper was read to a colloquium of logicians held in Oxford, England, in July, 1956. It appeared there that much work on the same lines had been done independently and at an earlier date by Dr T. J. Smiley, of Clare College, Cambridge.

References

BIBLIOGRAPHY

[1]Churchman, C. West, On finite and infinite modal systems, this Journal, vol. 3 (1938), pp. 77–82.Google Scholar
[2]Feys, Robert, Les systèmes formalisés des modalités aristotéliciennes, Revue philosophique de Louvain, vol. 48 (1950), pp. 478–509.CrossRefGoogle Scholar
[3]Gödel, Kurt, Eine Interpretation des intuitionistischen Aussagenkalküls, Ergebnisse eines mathematischen Kolloquiums, Heft 4 (1933), pp. 39–40.Google Scholar
[4]Halldén, Sören, A note concerning the paradoxes of strict implication and Lewis's system S1, this Journal, vol. 13 (1948), pp. 138–139.Google Scholar
[5]Lewis, C. I., and Langford, C. H., Symbolic logic, New York 1932.Google Scholar
[6]McKinsey, J. C. C. and Tarski, Alfred, Some theorems about the sentential calculi of Lewis and Heyting, this Journal, vol. 13 (1948), pp. 1–15.Google Scholar
[7]Parry, William Tuthill, The postulates for “strict implication,” Mind, vol. 43 (1934), pp. 78–80.CrossRefGoogle Scholar
[8]Parry, William Tuthill, Modalities in the Survey system of strict implication, this Journal, vol. 4 (1939), pp. 137–154.Google Scholar
[9]Prior, A. N., Formal logic, Oxford 1955.Google Scholar
[10]Prior, A. N., A note on the logic of obligation, Revue philosophique de Louvain, vol. 54 (1956), pp. 86–87.CrossRefGoogle Scholar
[11]Sobociński, B., Note on a modal system of Feys-von Wright, Journal of computing systems, vol. 1: 3 (1953), pp. 171–178.Google Scholar
[12]von Wright, Georg H., An essay in modal logic, Amsterdam 1951.Google Scholar