Anderson and Belnap's Invitation to Sin

Journal of Philosophical Logic 39 (4):453 - 472 (2010)

Authors
Alasdair Urquhart
University of Toronto, St. George
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 nominahzation. 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."
Keywords Modal logic  Syntactical interpretations  Belnap  Anderson  Quine  Lewis  Unification algorithms
Categories (categorize this paper)
DOI 10.1007/s10992-010-9135-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,462
Through your library

References found in this work BETA

The Ways of Paradox and Other Essays.W. V. O. Quine - 1966 - Harvard University Press.
The Logic of Provability.George S. Boolos - 1993 - Cambridge University Press.
Symbolic Logic.Clarence Irving Lewis - 1932 - Dover Publications.
One Hundred and Two Problems in Mathematical Logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
Solution of a Problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.

View all 21 references / Add more references

Citations of this work BETA

A Lewisian Semantics for S2.Edwin Mares - 2013 - History and Philosophy of Logic 34 (1):53-67.

Add more citations

Similar books and articles

Analytics

Added to PP index
2010-06-12

Total views
78 ( #107,362 of 2,273,199 )

Recent downloads (6 months)
1 ( #826,598 of 2,273,199 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature