Journal of Philosophical Logic (forthcoming)
|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.”.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Alan Anderson, Belnap R., D. Nuel & J. Michael Dunn (1992). Entailment: The Logic of Relevance and Necessity, Vol. Ii. Princeton University Press.
Alan Ross Anderson & Nuel D. Belnap Jr (1962). The Pure Calculus of Entailment. Journal of Symbolic Logic 27 (1):19-52.
Richard Routley (1979). Alternative Semantics for Quantified First Degree Relevant Logic. Studia Logica 38 (2):211 - 231.
Alan R. Anderson & Nuel D. Belnap (1975). Entailment: The Logic of Relevance and Neccessity, Vol. I. Princeton University Press.
Alan Rose (1962). Extensions of Some Theorems of Anderson and Belnap. Journal of Symbolic Logic 27 (4):423-425.
Edwin D. Mares (2000). Ce is Not a Conservative Extension of E. Journal of Philosophical Logic 29 (3):263-275.
Philip Hugly & Charles Sayward (1981). Completeness Theorems for Two Propositional Logics in Which Identity Diverges From Mutual Entailment. Notre Dame Journal of Formal Logic 22 (3):269-282.
Added to index2010-06-12
Total downloads25 ( #49,521 of 548,984 )
Recent downloads (6 months)2 ( #37,320 of 548,984 )
How can I increase my downloads?