Hostname: page-component-76fb5796d-2lccl Total loading time: 0 Render date: 2024-04-26T03:07:36.549Z Has data issue: false hasContentIssue false

A note concerning the paradoxes of strict implication and Lewis's system SI

Published online by Cambridge University Press:  12 March 2014

Sören Halldén*
Affiliation:
Upsala University

Extract

It has been shown by Lewis and Langford that the postulate B8,

is not deducible in SI. From this it follows that neither are the paradoxes of strict implication deducible in that system. However, the following weaker—but perhaps philosophically equally important—analogues are deducible:

Type
Articles
Copyright
Copyright © Association for Symbolic Logic 1948

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

2 From Symbolic logic.

3 This interesting fact was pointed out by Nelson, E. J. in his paper, Intensional relations, Mind, n. s. vol. 39 (1930), pp. 440453.CrossRefGoogle Scholar