Hostname: page-component-7c8c6479df-5xszh Total loading time: 0 Render date: 2024-03-27T19:10:21.786Z Has data issue: false hasContentIssue false

An algebraic study of Diodorean modal systems

Published online by Cambridge University Press:  12 March 2014

R. A. Bull*
Affiliation:
Wadham College, Oxford

Extract

Attention was directed to modal systems in which ‘necessarily α’ is interpreted as ‘α. is and always will be the case’ by Prior in his John Locke Lectures of 1956. The present paper shows that S4.3, the extension of S4 with

ALCLpLqLCLqLp,

is complete with respect to this interpretation when time is taken to be continuous, and that D, the extension of S4.3 with

ALNLpLCLCLCpLpLpLp,

is complete with respect to this interpretation when time is taken to be discrete. The method employed depends upon the application of an algebraic result of Garrett Birkhoff's to the models for these systems, in the sense of Tarski.

A considerable amount of work on S4.3 and D precedes this paper. The original model with discrete time is given in Prior's [7] (p. 23, but note the correction in [8]); that taking time to be continuous yields a weaker system is pointed out by him in [9]. S4.3 and D are studied in [3] of Dummett and Lemmon, where it is shown that D includes S4.3 and

CLCLCpLpLpCMLpLp.

While in Oxford in 1963, Kripke proved that these were in fact sufficient for D, using semantic tableaux. A decision procedure for S4.3, using Birkhoff's result, is given in my [2]. Dummett conjectured, in a conversation, that taking time to be continuous yielded S4.3. Thus the originality of this paper lies in giving a suitable completeness proof for S4.3, and in the unified algebraic treatment of the systems. It should be emphasised that the credit for first axiomatising D belongs to Kripke.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1965

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]Birkhoff, Garrett, Sub-direct unions in universal algebras. Bulletin of the American Mathematical Society, vol. 50 (1944), pp. 764768.CrossRefGoogle Scholar
[2]Bull, R. A., A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 5355.CrossRefGoogle Scholar
[3]Dummett, M. A. E. and Lemmon, E. J., Modal logics between S4 and S5. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 250264.CrossRefGoogle Scholar
[4]Harrop, R., On the existence of finite models and decision procedures for prepositional calculi. Proceedings of the Cambridge Philosophical Society, vol. (1958), pp. 113.CrossRefGoogle Scholar
[5]McKinsey, J. C. C. and Tarski, Alfred, The algebra of topology, Annals of Mathematics, vol. 45 (1944), pp. 141191.CrossRefGoogle 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. 115.Google Scholar
[7]Prior, A. N., Time and Modality. Oxford, 1957.Google Scholar
[8]Prior, A. N., Diodorus and modal logic: a correction. Philosophical Quarterly, vol. 8 (1958), pp. 226230.CrossRefGoogle Scholar
[9]Prior, A. N., Tense-logic and the continuity of time. Studia Logica, vol. 13 (1962), pp. 133148.CrossRefGoogle Scholar