The identity of individuals in a strict functional calculus of second order
Journal of Symbolic Logic 12 (1):12-15 (1947)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMarcus Rossberg (2009). Leonard, Goodman, and the Development of the Calculus of Individuals. In G. Ernst, O. Scholz & J. Steinbrenner (eds.), Nelson Goodman: From Logic to Art. Ontos.
Alexander Paseau (2010). Pure Second-Order Logic with Second-Order Identity. Notre Dame Journal of Formal Logic 51 (3):351-360.
Juliusz Reichbach (1965). On the Connection of the First-Order Functional Calculus with $\Aleph_0}$ Propositional Calculus. Notre Dame Journal of Formal Logic 6 (1):73-80.
Vladimir A. Smirnov (1987). Strict Embedding of the Elementary Ontology Into the Monadic Second-Order Calculus of Predicates Admitting the Empty Individual Domain. Studia Logica 46 (1):1 - 15.
Dale Jacquette (2011). Modal Objection to Naive Leibnizian Identity. History and Philosophy of Logic 32 (2):107 - 118.
Ruth C. Barcan (1946). The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication. Journal of Symbolic Logic 11 (4):115-118.
Ruth C. Barcan (1946). A Functional Calculus of First Order Based on Strict Implication. Journal of Symbolic Logic 11 (1):1-16.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads27 ( #45,734 of 549,010 )Recent downloads (6 months)4 ( #19,160 of 549,010 )How can I increase my downloads? |
My notes
Discussion
