In G. Ernst, O. Scholz & J. Steinbrenner (eds.), Nelson Goodman: From Logic to Art. Ontos (2009)
|Abstract||This paper investigates the relation of the Calculus of Individuals presented by Henry S. Leonard and Nelson Goodman in their joint paper, and an earlier version of it, the so-called Calculus of Singular Terms, introduced by Leonard in his Ph.D. dissertation thesis Singular Terms. The latter calculus is shown to be a proper subsystem of the former. Further, Leonard’s projected extension of his system is described, and the definition of an intensional part-relation in his system is proposed. The final section discusses to what extend Goodman might have contributed to the formulation of the Calculus of Individuals.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Jerzy Kotas & N. C. A. Costa (1979). A New Formulation of Discussive Logic. Studia Logica 38 (4):429 - 445.
Sara Negri (2002). Varieties of Linear Calculi. Journal of Philosophical Logic 31 (6):569-590.
Gerhard Lakemeyer (forthcoming). The Situation Calculus: A Case for Modal Logic. Journal of Logic, Language and Information.
E. -W. Stachow (1976). Completeness of Quantum Logic. Journal of Philosophical Logic 5 (2):237 - 280.
René David & Walter Py (2001). -Calculus and Böhm's Theorem. Journal of Symbolic Logic 66 (1):407-413.
Roger D. Maddux (1991). The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations. Studia Logica 50 (3-4):421 - 455.
Edward N. Zalta (1997). The Modal Object Calculus and its Interpretation. In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer.
Nelson Goodman & Henry Leonard (1940). The Calculus of Individuals and its Uses. Journal of Symbolic Logic 5:45-55.
Henry S. Leonard & Nelson Goodman (1940). The Calculus of Individuals and its Uses. Journal of Symbolic Logic 5 (2):45-55.
Added to index2009-01-28
Total downloads39 ( #29,748 of 548,984 )
Recent downloads (6 months)4 ( #19,181 of 548,984 )
How can I increase my downloads?