Sets, classes and the propositional calculus

• Lopez-Escobar, E. G. K. ^[1]
  1. [1] University of Maryland, College Park

     University of Maryland, College Park

     Estados Unidos

     
• Localización: Manuscrito: revista internacional de filosofía, ISSN 0100-6045, Vol. 28, Nº. 2 (JUL-DIC), 2005, págs. 417-448
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen

  • The propositional calculus AoC, “Algebra of Classes”, and the extended propositional calculus EAC, “Extended Algebra of Classes” are introduced in this paper. They are extensions, by additional propositional functions which are not invariant under the biconditional, of the corresponding classical propositional systems. Their origin lies in an analysis, motivated by Cantor’s concept of the cardinal numbers, of A. P. Morse’s impredicative, polysynthetic set theory.