Abstract
Quine has argued that modal logic began with the sin of confusing use and mention. Anderson and Belnap, on the other hand, have offered us a way out through a strategy of nominalization. This paper reviews the history of Lewis’s early work in modal logic, and then proves some results about the system in which “A is necessary” is intepreted as “A is a classical tautology.”
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Anderson, A. R., & Belnap, Jr, N. D. (1975). Entailment (Vol. 1). Princeton, NJ: Princeton University Press.
Boolos, G. (1976). On deciding the truth of certain statements involving the notion of consistency. Journal of Symbolic Logic, 41, 779–781.
Boolos, G. (1993). The logic of provability. Cambridge: Cambridge University Press.
Church, A. (1984). Russell’s theory of identity of propositions. Philosophia Naturalis, 21, 513–522.
Cresswell, M. J. (1970). Note on the interpretation of S0.5. Logique et Analyse, 13, 376–378.
Friedman, H. (1975). One hundred and two problems in mathematical logic. Journal of Symbolic Logic, 40, 113–129.
Gödel, K. (1933). Eine interpretation des intuitionistischen aussagenkalüls. Ergebnisse eines mathematischen Kolloquiums, 4, 39–40. Reprinted in [8] with facing English translation.
Gödel, K. (1986). In S. Feferman, J. W. Dawson Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, & J. van Heijenoort (Eds.), Collected works, vol. I: Publications 1929–1936. Oxford University Press.
Gödel, K. (2003). In S. Feferman, J. W. Dawson Jr. (Editors-in-chief), W. Goldfarb, C. Parsons, & W. Sieg (Eds.), Collected works, vol. V: Correspondence H–Z. Oxford University Press.
Lemmon, E. J. (1957). New foundations for Lewis modal systems. Journal of Symbolic Logic, 22, 176–186.
Lemmon, E. J. (1959). Is there only one correct system of modal logic? Aristotelian Society Supplementary Volumes, 33, 23–40.
Lewis, C. I. (1912). Implication and the algebra of logic. Mind, New Series, 21, 522–531.
Lewis, C. I. (1913). A new algebra of implication and some consequences. The Journal of Philosophy, Psychology and Scientific Methods, 10, 428–438.
Lewis, C. I. (1914). The calculus of strict implication. Mind, New Series, 23, 240–247.
Lewis, C. I. (1914). The matrix algebra for implications. The Journal of Philosophy, Psychology and Scientific Methods, 11, 589–600.
Lewis, C. I. (1918). A survey of symbolic logic. Berkeley: University of California Press. Semicentennial Publications of the University of California.
Lewis, C. I. (1920). Strict implication—An emendation. The Journal of Philosophy, Psychology and Scientific Methods, 17, 300–302.
Lewis, C. I., & Langford, C. H. (1932). Symbolic logic. New York: The Century Company. Reprinted with an added appendix III by Lewis, Dover Publications (1959).
Löb, M. H. (1955). Solution of a problem of Leon Henkin. Journal of Symbolic Logic, 20, 115–118.
Parry, W. T. (1968). The logic of C.I. Lewis. In P. A. Schilpp (Ed.), The philosophy of C.I. Lewis. La Salle, Illinois: Open Court Publishing Company.
Quine, W. V. (1962). Reply to Professor Marcus. Synthese, 13, 323–340. Reprinted in [22].
Quine, W. V. (1966). The ways of paradox and other essays. Random House.
Quine, W. V., & Carnap, R. (1990). Dear Carnap, dear Van. University of California Press. Edited, with an introduction by Richard Creath.
Robinson, J. A. (1965). A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, 12, 23–41.
Routley, R. (1968). The decidability and semantical incompleteness of Lemmon’s system S0.5. Logique et Analyse, 11, 413–421.
Solovay, R. M. (1976). Provability interpretations of modal logic. Israel Journal of Mathematics, 25, 287–304.
Urquhart, A. (1982). Intensional languages via nominalization. Pacific Philosophical Quarterly, 63, 186–192.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Urquhart, A. Anderson and Belnap’s Invitation to Sin. J Philos Logic 39, 453–472 (2010). https://doi.org/10.1007/s10992-010-9135-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-010-9135-5