Graduate studies at Western
Journal of Philosophical Logic 39 (4):453 - 472 (2010)
|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)|
|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 downloads26 ( #53,693 of 738,577 )
Recent downloads (6 months)1 ( #61,778 of 738,577 )
How can I increase my downloads?